DOC Document

Source URL: www.capsl.udel.edu

• Computing
• Computer programming
• Software engineering
• Concurrent programming languages
• Programming paradigms
• Guang Gao
• Parallel computing
• Actor model
• International Parallel and Distributed Processing Symposium
• International Conference on Parallel and Distributed Systems
• Dataflow programming
• Computer architecture

PDF Document

Source URL: egice2014.engineering.cf.ac.uk

• Statistics
• Econometrics
• Prediction
• Regression analysis
• Statistical forecasting
• Scientific modeling
• Estimation theory
• Linear regression
• Support vector machine
• Forecasting
• Time series
• Economic model

PDF Document

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Metamodeling
• QVT
• Model-driven engineering
• Entityrelationship model
• Object Constraint Language
• ATLAS Transformation Language

PDF Document

Source URL: www.havelund.com

• Computing
• Software engineering
• Software
• Formal methods
• Theoretical computer science
• Model checkers
• Logic in computer science
• Java Pathfinder
• Model checking
• Formal verification
• Promela
• Abstract interpretation

PDF Document

Source URL: homepages.ecs.vuw.ac.nz

• Computing
• Software engineering
• Object-oriented programming languages
• Data types
• Primitive types
• Java platform
• Java
• Java bytecode
• Model theory
• String
• Java class file
• Pointer

Control of CA3 Place Fields by the Dentate Gyrus: A Neural Network Model Ali A. Minai Complex Adaptive Systems Laboratory Department of Electrical & Computer Engineering and Computer Science University of Cincinnati

Source URL: www.ece.uc.edu

Opportunistic Multihop Wireless Communications with Calibrated Channel Model Petros Spachos , Liang Song and Dimitrios Hatzinakos Department of Electrical and Computer Engineering, University of Toronto, Toronto, ON M5S

Source URL: www.comm.utoronto.ca

A Hybrid Unsupervised/Supervised Model for Group Activity Recognition Tomoya Hirano School of Engineering Osaka University

Source URL: www-komo.ise.eng.osaka-u.ac.jp

Cyber Manufacturing: A Primer The Institute for Manufacturing Systems Texas A&M Engineering Experiment Station Background: Before the industrial era, the United States followed the craftsmanship model where

Source URL: tees.tamu.edu

SSDL: overview Goal: Improving the quality of systems and software Means:

Source URL: www.cs.technion.ac.il

• Model checking
• Formal verification
• Software engineering
• Programming language
• Software development process
• Science
• Computing
• Formal methods
• SOAP Service Description Language
• Applied mathematics